<body>
	Provides the classes for the tree layout algorithm used
	in the Gecode Explorer.
</body>